×

automatic theorem proving meaning in English

自动定理证明

Examples

  1. A member of the herbrand base is called atom in automatic theorem proving
    在自动定理证明中,海尔勃朗基的成员也称为原子。

Related Words

  1. prove的过去式和过去分词
  2. theorems
  3. modularity theorem
  4. isomorphism theorem
  5. wieners theorem
  6. uniqueness theorem
  7. bound theorem
  8. cauchy theorem
  9. bayess theorem
  10. dirichlet theorem
  11. automatic text categorization
  12. automatic texture analysis system
  13. automatic thermal regulator
  14. automatic thermal type fire-alarm
PC Version

Copyright © 2018 WordTech Co.